Rahul Sharma - PDFSEARCH.IO - Document Search Engine

Rahul Sharma
Results: 25

#	Item
11	BARC NEWSLETTER CONTRIBUTION OF ERK & NRF-2-ARE PATHWAY TO CONSTITUTIVE AND INDUCIBLE RADIORESISTANCE OF TUMOR CELLS VIS A VIS NORMAL CELLS Raghavendra S. Patwardhan, Rahul Checker, Deepak Sharma, Santosh Kumar Sandur an Add to Reading List Source URL: www.barc.gov.in Language: English - Date: 2013-12-06 05:47:15
12	PES group’s Rahul Sharma has been awarded the UQ 2015 ECR grant for the Project Model-based control as a tool for advanced management of battery storage in electricity distribution grid and vehicle applications. Batter Add to Reading List Source URL: www.itee.uq.edu.au Language: English - Date: 2015-04-22 23:36:43 Lithium-ion battery Energy storage Sustainable transport Axeon Battery Energy Rechargeable batteries
13	Space-Efficient Construction Algorithm for Circular Suffix Tree Wing-Kai Hon, Tsung-Han Ku, Rahul Shah and Sharma Thankachan CPM2013 Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2013-07-14 14:44:52 Computing Computer programming Data management Arrays Suffix array Suffix tree
14	Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-21 20:26:03 Mathematics Predicate transformer semantics Predicate logic Hoare logic Loop invariant Universal quantification Invariant Predicate Logic Mathematical logic Program logic
15	Data-Driven Equivalence Checking Rahul Sharma Eric Schkufza Berkeley Churchill Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-08-14 01:47:23 Assembly languages X86 assembly language X86 MOV Control flow Compiler optimization CPUID Computer architecture Programming language implementation X86 architecture
16	From Invariant Checking to Invariant Inference Using Randomized Search Rahul Sharma and Alex Aiken Stanford University, USA {sharmar, aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-05-12 00:37:32 Emmy Noether Invariant theory Mathematics Invariant Loop invariant
17	Stochastic Superoptimization Eric Schkufza Rahul Sharma Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-01-20 12:06:36 X86-64 Low-level programming language GNU Compiler Collection Markov chain Monte Carlo C Segmentation fault Strength reduction MOV Program optimization Computing Software X86 architecture
18	Stochastic Optimization of Floating-Point Programs with Tunable Precision Eric Schkufza Rahul Sharma Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-03-20 01:19:50 Mathematics X86 instruction listings Floating point Unit in the last place Lookup table Rounding Error function Markov chain Monte Carlo Mathematical optimization Statistics Computer arithmetic Computing
19	Bias-Variance Tradeoffs in Program Analysis Rahul Sharma Aditya V. Nori Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-11-07 17:01:23 Computational learning theory Hypothesis testing Statistical tests Overfitting VC dimension Cross-validation Variance Abstract interpretation Probably approximately correct learning Statistics Machine learning Statistical inference
20	Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-21 20:24:53 Mathematics Predicate transformer semantics Predicate logic Hoare logic Loop invariant Universal quantification Invariant Predicate Logic Mathematical logic Program logic